Knihy od autora Dennis Dams

Zobrazené 1 – 3 z 3 výsledkov

1. 

   FM 2009: Formal Methods

   Ana Cavalcanti, Dennis Dams | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   139.60 €

   Kúpiť
2. 

   Concurrency, Compositionality, and Correctness

   Dennis Dams, Ulrich Hannemann, Martin Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 9 - 13 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   71.69 €

   Kúpiť
3. 

   Theoretical and Practical Aspects of SPIN Model Checking

   Dennis Dams, Robert Gerth, Stefan Leue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.87 €

   Kúpiť

Tovar posielame hneď alebo najrýchlejšie, ako je to možné. Zistite viac